#include "kernel/types.h"
#include "user/user.h"


int main(int argc,char const *argv[]){
   // Judge whether the command is right or not 
   if(argc != 2){
     fprintf(2, "usage: sleep <time>\n");
     exit(1);
   }
   int time = atoi(argv[1]);
   sleep(time);
   printf("(nothing happens for a little while)\n");
   exit(0);
}
